Results for 'Edison Duque Cardona'

655 found
Order:
  1.  29
    Programando microcontroladores PIC en lenguaje C.Carlos Alberto Henao & Edison Duque Cardona - forthcoming - Scientia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  25
    Análisis de componentes principales e independientes aplicados a reducción de ruido en señales electrocardiograficas.Juliana Muñoz, Jorge Hernando Rivera & Edison Duque Cardona - forthcoming - Scientia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  25
    Análisis de esquemas de filtrado análogo para señales ECG.Leydy Laura Alvarez Escobar, Ricardo Henao & Edison Duque Cardona - forthcoming - Scientia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  25
    Clasificación de eventos sísmicos empleando procesos gaussianos.Mauricio Alexander Alvarez López, Ricardo Henao & Edison Duque Cardona - forthcoming - Scientia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  22
    Variables latentes para identificar el infarto agudo del miocardio mediante análisis de componentes.Jorge Hernando Rivera, José Adalberto Soto Mejía & Edison Duque Cardona - forthcoming - Scientia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    La labor bibliotecaria o bibliotecológica: la necesidad de una práctica política en el Sur Global.Natalia Duque-Cardona & Juan Vicente Gómez Velásquez - 2023 - Escritos 31 (66):106-125.
    Este artículo presenta una reflexión respecto a la dimensión política de quienes ejercemos la labor bibliotecaria o bibliotecológica, enmarcada en la educación inclusiva del Sur Global, donde se parte del reconocimiento de la labor bibliotecaria y bibliotecológica asociada, generalmente, con un conocimiento práctico de las cosas o techné, debido a las condiciones históricas en que la disciplina científica se consolidó como tal. Empero, cada vez más se hace necesario que esta labor se proyecte de manera consciente y decidida hacia el (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    Inyección de color caramelo al azúcar de caña en su proceso de elaboración.Edison Henao Castañeda, Alexander Díaz Arias & Danny Cardona Cuellar - forthcoming - Scientia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  7
    El testamento de Don Francisco de Solís Folch de Cardona, Cardenal Arzobispo de Sevilla.David Chillón Raposo - 2020 - Isidorianum 25 (49):159-186.
    El cardenal don Francisco de Solís Folch de Cardona murió en Roma el 12 de abril de 1775. Con una dilatada carrera cortesana y eclesiástica vivió una vida holgada, sus excesos económicos, su tren de vida y sus atenciones a los necesitados fueron las características más relevantes de su personalidad como prelado. Al igual que en Roma, Sevilla celebró solemnes exequias en su memoria, y un año más tarde se depositó su corazón en el convento de capuchinas de Santa (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    Constructing a theoretical model of moral distress.Edison Luiz Devos Barlem & Flávia Regina Souza Ramos - 2015 - Nursing Ethics 22 (5):608-615.
    Moral distress has been characterised as one of the main ethical problems affecting nurses in all health systems, and has been depicted as a threat to nurses’ integrity and to the quality of patient care. In recent years, several studies tried to investigate moral distress, its causes and consequences for health professionals, clients and organisations. However, such studies are considered controversial and vulnerable, mainly because they lack a solid philosophical and empirical basis. The present article aimed at elaborating a theoretical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  10.  27
    Kepler: Analogies in the search for the law of refraction.Carlos Alberto Cardona - 2016 - Studies in History and Philosophy of Science Part A 59:22-35.
    This paper examines the methodology used by Kepler to discover a quantitative law of refraction. The aim is to argue that this methodology follows a heuristic method based on the following two Pythagorean principles: (1) sameness is made known by sameness, and (2) harmony arises from establishing a limit to what is unlimited. We will analyse some of the author's proposed analogies to find the aforementioned law and argue that the investigation's heuristic pursues such principles.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11. Simple is not easy.Edison Barrios - 2016 - Synthese 193 (7):2261-2305.
    I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow. In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to simplicity considerations. This, in turn, leads to the neglect of crucial cases in which the rationale for simplification is unmistakably (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  7
    Continuum many different things: Localisation, anti-localisation and Yorioka ideals.Miguel A. Cardona, Lukas Daniel Klausner & Diego A. Mejía - 2024 - Annals of Pure and Applied Logic 175 (7):103453.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Knowledge of Grammar and Concept Possession.Edison Barrios - 2012 - British Journal for the Philosophy of Science 63 (3):577-606.
    This article deals with the cognitive relationship between a speaker and her internal grammar. In particular, it takes issue with the view that such a relationship is one of belief or knowledge (I call this view the ‘Propositional Attitude View’, or PAV). I first argue that PAV entails that all ordinary speakers (tacitly) possess technical concepts belonging to syntactic theory, and second, that most ordinary speakers do not in fact possess such concepts. Thus, it is concluded that speakers do not (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  14. Diálogo: fusão de horizontes - para uma fundamentação gadameriana da antropologia pedagógica // Dialogue : fusion of horizons - for Gadamerian foundation of pedagogical anthropology.Teresa Arbelaez Cardona - 2016 - Conjectura: Filosofia E Educação 21 (1):58-74.
    A pergunta pelo ser do homem é a origem da antropologia tanto filosófica quanto pedagógica. Neste horizonte, pode-se resumir a resposta à pergunta dizendo: o ser humano não só é efeito do diálogo, mas humaniza e se humaniza por meio do diálogo. Quando se planeja ambientes orientados a desenvolver as potências anímicas do diálogo em todos, e em cada um dos participantes da cena pedagógica, igualmente se está tanto em meio a uma antropologia pedagógica quanto a uma didática antropológica. Esta (...)
    No categories
     
    Export citation  
     
    Bookmark  
  15. La idea de filosofía en Edmundo Husserl.Edison Arias Arcos - 2008 - Cuadernos de Filosofía 26:59-70.
     
    Export citation  
     
    Bookmark  
  16.  2
    Metafísica del bien y del mal.Carlos Cardona - 1987 - Pamplona: Ediciones Universidad de Navarra.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  7
    Una aproximación a la dimensión etho-estética en Marcuse. Entre el furor y la serenidad.Edison Francisco Viveros Chavarría - 2021 - Tópicos: Revista de Filosofía 61:171-193.
    The aim of this paper is to provide an approach to the etho-aesthetic dimension in Marcuse’s thought. The approach in this paper is built upon the following thesis: the etho-aesthetic dimension consists of the transformation of subjectivity based on artistic sensitivity and critical rationality from which social relations opposed to an advanced industrial society and its one-dimensional man are reconstructed materially and intellectually. The conclusion is the following: a Marcusian critical theory, inherited from Marx and Schiller, would be one capable (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  13
    Heidegger: sendas que vienen.Félix Duque (ed.) - 2008 - Madrid: Círculo de Bellas Artes.
    Versiones revisadas de las conferencias pronunciadas en el congreso "Pensamiento, arte, poesía.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  15
    Mirar la Pedagogía desde tiempos inciertos.Antonio Arellano Duque - 2005 - In Antonio Arellano (ed.), La educación en tiempos débiles e inciertos. Bogotá (Colombia): Convenio Andrés Bello. pp. 79.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  5
    Criminalidad corporativa y reordenamiento territorial en Urabá.Norela Mesa Duque & Alfonso Insuasty Rodríguez - 2021 - Ratio Juris 16 (33):595-622.
    Las acciones que articulan simbióticamente élites empresariales y políticas, mafias, grupos militares legales e ilegales, se posibilitan bajo la búsqueda de dos fines: uno, reordenar el territorio de manera violenta hiper-acumulando tierras, con el fin de salvaguardar sus intereses económicos e inversiones; dos, hiper-acumular poder político con el fin de sostener sus privilegios, usando dicho poder para la reconfiguración del diseño institucional y la planeación de los territorios imponiendo sus condiciones. Este fenómeno que marca la historia de Colombia es lo (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  24
    The law of refraction and Kepler’s heuristics.Carlos Alberto Cardona Suárez & Juliana Gutiérrez Valderrama - 2020 - Archive for History of Exact Sciences 74 (1):45-75.
    Johannes Kepler dedicated much of his work to discover a law for the refraction of light. Unfortunately, he formulated an incorrect law. Nevertheless, it was useful for anticipating the behavior of light in some specific conditions. Some believe that Kepler did not have the elements to formulate the law that was later accepted by the scientific community, that is, the Snell–Descartes law. However, in this paper, we propose a model that agrees with Kepler’s heuristics and that is also successful in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Meaning shift and the purity of 'I'.Edison Barrios - 2013 - Philosophical Studies 164 (1):263-288.
    In this paper I defend the “Standard View” of the semantics of ‘I’—according to which ‘I’ is a pure, automatic indexical—from a challenge posed by “deferred reference” cases, in which occurrences of ‘I’ are (allegedly) not speaker-referential, and thus non-automatic. In reply, I offer an alternative account of the cases in question, which I call the “Description Analysis” (DA). According to DA, seemingly deferred-referential occurrences of the first person pronoun are interpreted as constituents of a definite description, whose operator scopes (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  10
    Presentación: Historiografía y Teoría de la Historia: diálogos iberoamericanos desde Colombia.Z. Patricia Cardona, Gabriel Samacá Alonso & Tomás Sansón Corbo - 2023 - Co-herencia 20 (39):9-13.
    Este número monográfico de la revista Co-herencia que tenemos el gusto de presentar es para nosotros un motivo de satisfacción y orgullo. Después de varios meses de trabajo, logramos concretar un valioso conjunto de textos sobre teoría de la historia y la historiografía, dos áreas de investigación que hasta hace unos años eran más bien exóticas en nuestro medio.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. O dever indireto de promover a felicidade pessoal em Kant.Édison Martinho Difante - 2011 - Conjectura: Filosofia E Educação 16 (3):118-130.
    O presente artigo tem por objetivo destacar a importância da felicidade dentro do sistema moral kantiano, mesmo que ela esteja baseada nos sentimentos de prazer e desprazer, ou seja, proveniente da ordem empírica. Para isso, faz-se necessário diferenciar deveres diretos de deveres indiretos, ou seja, os primeiros como deveres perfeitos que são obrigatórios e necessários, e os últimos como imperfeitos, que dizem respeito simplesmente àquilo que é bom que se faça, por isso são altamente recomendáveis. Os deveres indiretos ou imperfeitos, (...)
     
    Export citation  
     
    Bookmark  
  25.  7
    Die Kunst als Ort immanenter Transzendenz: zu einer fundamentaltheologischen Rezeption der Kunstphilosophie Hans-Georg Gadamers.João Manuel Duque - 1997 - Frankfurt am Main: J. Knecht.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  4
    De la libertad de la pasión a la pasión de la libertad (ensayos sobre Hume y Kant).Félix Duque - 1988 - Pedidos: Distribuidora Kosko.
  27.  3
    El mundo por de dentro: ontotecnología de la vida cotidiana.Félix Duque - 1995 - Barcelona: Ediciones del Serbal.
    En este ensayo sucinto y cargado de significado se reflexiona sobre un Mundo, no disuelto en el nihilismo cáncer de Occidente sino dispensador de espacios y tiempos a través del hombre. El Mundo como Vacío, donde se construyen precarios lugares habitables, ajustando tradiciones a necesidades, e integrando procesos inventivos en un esquema global de asignación de puestos.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Literaturberichte und kritik.Felix Duque - forthcoming - Hegel-Studien.
     
    Export citation  
     
    Bookmark  
  29.  12
    La reforma judicial y la búsqueda del acceso a la justicia en Colombia.José Luis Sánchez Cardona - 2015 - Ratio Juris 10 (21):217-242.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  15
    ‘Fervent spenglerians:’ romanising the historic morphology of cultures in Spain.Carl Antonius Lemke Duque - 2022 - History of European Ideas 48 (5):594-613.
    ABSTRACT This study analyses the impact of Oswald Spengler’s work in Spain during the interwar period. It proceeds with three steps as follows: The first part investigates the reception of Spengler’s historic morphology of cultures in the so-called circle of the Revista de Occidente. The second part delves into the early echo of Spengler’s work among the Spanish left up to the Second Spanish Republic. The third part focuses on the impact of Spengler’s historic morphology among conservative traditionalists and members (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  19
    Un viaje ancestral: mujeres afrocolombianas, indígenas y campesinas del valle de aburrá en diálogo de saberes intercultural.Erika Paulina Uribe Cardona - 2018 - Ratio Juris 13 (26):215-230.
    El presente trabajo pretende reflexionar y visibilizar el papel político que han tenido las mujeres como guardianas, custodias y transmisoras de las culturas ancestrales de los pueblos indígenas, afrocolombianos y campesinos. Así mismo, reconocer la resistencia y re-existencia de algunas experiencias organizativas de diversas mujeres en Medellín que luchan, desde su autonomía, por mantener su identidad, sus prácticas y saberes en un contexto de ciudad hegemónico y excluyente. Esto con el fin de transformar las realidades que las afectan y subvertir (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Two Portraits of Protagoras in Plato: Theaetetus vs. Protagoras.Mateo Duque - 2023 - Illinois Classical Studies 47 (2):359-382.
    This article will contrast two portrayals of Protagoras: one in the "Theaetetus," where Socrates discusses Protagorean theory and even comes to his defense by imitating the deceased sophist; and another in the "Protagoras," where Socrates recounts his encounter with the sophist. I suggest that Plato wants listeners and readers of the dialogues to hear the dissonance between the two portraits and to wonder why Socrates so distorts Protagoras in the "Theaetetus." Protagoras in the "Protagoras" behaves and speaks in ways that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Linguistic Knowledge and Cognitive Integration.Edison Barrios - 2012 - Critica 44 (130):35-67.
    Según la Propositional Attitude View (PAV), un hablante es competente en su idioma en virtud de poseer actitudes proposicionales cuyo contenido es su gramática interna. En este artículo desarrollo una objeción a PAV, llamada �el reto de la integración�, originalmente propuesto por Stich (1978) y Evans (1981), y que está constituido por dos premisas: (1) las actitudes proposicionales se caracterizan por su integración inferencial, y (2) los estados que contienen información gramatical no están inferencialmente integrados. En este artículo considero y (...)
     
    Export citation  
     
    Bookmark  
  34. The philosophy of Paine.Thomas Edison - unknown
     
    Export citation  
     
    Bookmark  
  35.  4
    España vacía desde una perspectiva humanística.Juan García-Cardona & Manuel España Arjona - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 11 (5):1-11.
    Este estudio pretende indagar en el trato de la España vacía; mientras que este asunto se ha tratado ampliamente desde las ciencias sociales, no se ha tenido en cuenta la potencial labor de las humanidades en revertir este proceso de despoblación. El cielo gira, documental de Mercedes Álvarez,trata sobre los últimos habitantes de Aldealseñor, un pueblo soriano al borde de su extinción. Además de ofrecer un novedoso enfoque sobre el problema del abandono rural, el documental de Álvarez ha convertido a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    EBRO 1938. Historia, arqueología y didáctica de una batalla aérea.Xavier Hernández Cardona, David Íñiguez Gracia & Rafel Sospedra Roca - 2020 - Clio 46:263-282.
    La batalla del Ebro enfrento, durante 115 días personas y máquinas. Se experimentaron nuevas técnicas y tecnologías que jugarían un papel determinante en el inminente conflicto mundial. La aviación se utilizó, por primera vez, de manera masiva y su actuación fue decisiva. Sin embargo, su rastro patrimonial y es escaso. Al entorno de la guerra aérea en la Batalla del Ebro el presente trabajo plantea una experiencia de investigación transversal y holística que plantea la socialización didáctica del conocimiento histórico y (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  12
    El concepto de la desesperación y el amor como proyecto ético en Søren Kierkegaard.Diego Orlando Hoyos Cardona - 2022 - Universitas Philosophica 39 (78):135-161.
    En La enfermedad mortal Anti-Climacus describe enfáticamente la desesperación como la consecuencia de la negación de la posibilidad producida por el deseo humano cuando este insiste en ser sí mismo u otro sin Dios. Esta negación genera una relación no efectiva del individuo consigo mismo y con los otros, dando lugar a la condición del pecado, entendido en su connotación religiosa. Lo anterior conduce al problema de cómo llegar a ser un verdadero cristiano en el marco de una crítica, realizada (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. La función social de la memoria.Jaume Aurell I. Cardona - 2006 - In Rafael Alvira, Héctor Ghiretti & Montserrat Herrero López (eds.), La Experiencia Social Del Tiempo. Ediciones Universidad de Navarra.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Conceptos morales en la ética cristiana de Madramany.Miguel Angel Lledó Cardona - forthcoming - Nova et Vetera.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  8
    La Nueva Gestión Pública en Sabaneta-Antioquia (2003-2013).Ángel Emilio Muñoz Cardona - 2016 - Human Review. International Humanities Review / Revista Internacional de Humanidades 5 (1):31-52.
    Durante las décadas de los años 80s y 90s tuvieron lugar tres acontecimientos internacionales que marcarían la historia política, social y económica de principios de siglo XXI: la Caída del Muro de Berlín y la Perestroika; la Cumbre Ambiental en Rio de Janeiro y la Unión Europea. Acontecimientos históricos que profundizaron nuevas formas de administración pública en el seno de las naciones desarrolladas y en vías de desarrollo. Sucesos internacionales que fueron y son respuesta a las demandas de ciudadanos por (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  77
    Performing Philosophy: The Pedagogy of Plato’s Academy Reimagined.Mateo Duque - 2023 - In Henry C. Curcio, Mark Ralkowski & Heather L. Reid (eds.), Paideia and Performance. Parnassos Press. pp. 87-106.
    In this paper, drawing on evidence internal to the Platonic dialogues (supplemented with some ancient testimonia), I answer the question, “How did Plato teach in the Academy?” My reconstruction of Plato’s pedagogy in the Academy is that there was a single person who read the dialogue aloud like a rhapsode (this is in contrast to the dramatic theatrical hypothesis, in which several speakers function as actors in the performance of a dialogue). After the rhapsodic reading, students were allowed to ask (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. In and Out of Character: Socratic Mimēsis.Mateo Duque - 2020 - Dissertation, Cuny Graduate Center
    In the "Republic," Plato has Socrates attack poetry’s use of mimēsis, often translated as ‘imitation’ or ‘representation.’ Various scholars (e.g. Blondell 2002; Frank 2018; Halliwell 2009; K. Morgan 2004) have noticed the tension between Socrates’ theory critical of mimēsis and Plato’s literary practice of speaking through various characters in his dialogues. However, none of these scholars have addressed that it is not only Plato the writer who uses mimēsis but also his own character, Socrates. At crucial moments in several dialogues, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  17
    Strong completeness of provability logic for ordinal spaces.Juan P. Aguilera & David Fernández-Duque - 2017 - Journal of Symbolic Logic 82 (2):608-628.
  44.  21
    More than just an immigrant: The semantic patterns of (im)migrant/predicate-pairings in news stories about Mexican and Central American (im)migrants to the USA. A corpus-assisted discourse study.Margrete Dyvik Cardona - 2022 - Discourse and Communication 16 (3):285-304.
    In this paper we explore how some of the largest US-newspapers linguistically frame immigrants to the USA in articles about Mexican and Central American immigrants. Specifically, it is a corpus-assisted discourse study which examines the frequency of different semantic predicate-types with migrant subjects and migrant by-agents in the quest for underlying positive or negative biases. We wish to ascertain what activities migrants are presented as taking part in, principally as agents. The analysis shows that more than half of the migrant/predicate-pairings (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  25
    Sistema autónomo de variables y su interrelación.Diego Gómez Cardona, José Wilson Marín & William Ardila Urueña - forthcoming - Scientia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  5
    Contribución de las ciencias sociales y humanas a las ciencias de la salud: Ejemplo de una investigación multidisciplinaria.Liliana Gómez Cardona - 2012 - Human Review. International Humanities Review / Revista Internacional de Humanidades 1 (2).
    El pluralismo cultural y la diversidad social atraviesan diferentes contextos sociales en el mundo contemporaneo, ejerciendo diferentes impactos sobre las instituciones oficiales. En el contexto de los servicios de salud de una ciudad cosmopolita como Montreal, la realización de nuevos proyectos de investigación y de intervención se hace necesaria, con el fin de evaluar la manera como los diversos grupos poblacionales entran en relación con dichos servicios. A nivel investigativo, se hace indispensable la creación de colaboraciones interdisciplinarias con las cuales (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Ensayo sobre el Dios de la postmodernidad.Baldomero Jiménez Duque - 1998 - Verdad y Vida 56 (221):103-108.
    No categories
     
    Export citation  
     
    Bookmark  
  48. ¿ Qué es la «mística»?Baldomero Jimenez Duque - 2000 - Verdad y Vida 58 (229):557-562.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  12
    Music as an Element of Tourism Innovation: Types of Nightlife Premises in Ibiza.José Ramón-Cardona, María Dolores Sánchez-Fernández, Amador Durán-Sánchez & José Álvarez-García - 2022 - Frontiers in Psychology 13.
    The island of Ibiza is a western Mediterranean destination known internationally for its nightlife. The aim of this paper is to make a proposal to classify the different types of premises in the Ibiza nightlife offer. This involves making a first definition that allows to delimit which businesses are parts of the sector. The methodology used is based on the case study and specifically, on the review of the promotional actions and activities carried out, completed with the visit to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  12
    Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.Philippe Balbiani, David Fernández-Duque, Andreas Herzig & Petar Iliev - 2022 - Logic Journal of the IGPL 30 (1):155-185.
    We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 655